/* hal_device_registers.h */

#ifndef __HAL_DEVICE_REGISTERS_H__
#define __HAL_DEVICE_REGISTERS_H__

#include "max78000.h"
#include "system_max78000.h"

#endif /* __HAL_DEVICE_REGISTERS_H__*/
